@CHARSET "UTF-8";
#resultDiv{
	width:320px;
	height:100px;
	font-size:25px;
	overflow: auto;
	border:2px solid #0000ff;
}